Revision: tla-tools--devo--0--patch-23
Archive: miles@gnu.org--gnu-2005
Creator: Miles Bader <miles@gnu.org>
Date: Mon Apr 11 18:39:46 EDT 2005
Standard-date: 2005-04-11 22:39:46 GMT
Modified-files: ChangeLog tla-cvs-sync.shpp
New-patches: miles@gnu.org--gnu-2005/tla-tools--devo--0--patch-23
Summary: tla-cvs-sync: Fix handling of files added/removed from CVS

Don't do tree-lint just after updating from CVS, as that is tripped up by
new or deleted files.

Move tla-update-ids call earlier (before replaying new arch changesets),
and commit any new taglines to CVS immediately.
